$\forall$$T$:Type, $x$:$T$, $b$:$\mathbb{B}$. ($b$?$x$) $\in$ $T$+Unit